]> dgit.raspbian.org Git - gnome-shell.git/commit
viewSelector: Remove tab title bar
authorJoost Verdoorn <jpverdoorn@gmail.com>
Sun, 22 Jul 2012 12:45:53 +0000 (14:45 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 20 Aug 2012 12:23:18 +0000 (14:23 +0200)
commitdff673533d3c69bcf598223383609f09fa352917
tree1ac17ca2ffd069ab9b9db785738cc9683c4cadec
parent816a29d58240d614f7f07aac031e3c0db51ad917
viewSelector: Remove tab title bar

All the functionality provided by the tab titles has been replaced, so the
title bar can be removed without loss of functionality.

https://bugzilla.gnome.org/show_bug.cgi?id=682109
js/ui/viewSelector.js